When Mill published The Subjection of Women in 1869 he wanted to replace the domination of one sex by the other laws based on ‘a principle of perfect equality’. It is widely complained, however, that even advanced countries have still failed to achieve equality between the sexes. Power and wealth and influence are still overwhelmingly in the hands of men. But equalities of these kinds are not the ones required by the principle of equality that Mill had in mind; and, (...) furthermore, a principle that demanded them would actually be incompatible with Mill’s. The conclusion is not, however, that social policies dealing with men and women are all they should be. It is just that although the fundamental problems of feminism could be – and to a considerable extent still can be – expressed in terms of requirements for justice and equality, we have now reached a stage where concentrating on these ideas can distort the real problems, and may actually impede the kind of progress that is needed. (shrink)

Selgelid and Koplin’s article ‘Kidney Sales and the Burden of Proof’ (K&S 2019) presents a series of detailed and persuasive arguments, intended to demolish my own arguments against the prohibition of organ selling. And perhaps they might succeed, if the case described by the authors were anything like the one I actually make. However, notwithstanding the extensive quotations and the detailed explanations of the way I supposedly argue, this account of my position comprehensively mistakes both the conclusions I reach and (...) the arguments I give for them. -/- I know that there are around many misconceptions about my views on this subject, but I have always hoped they could not survive a reading of what I had actually written. I have just—after a gap of many years—looked again at the two most recent of the texts Koplin and Selgelid refer to, and it goes without saying that I can see various things I could now do better; but I do still find these misinterpretations hard to understand. And since anyone with nothing to go on but this article would reasonably conclude that the original texts were not worth reading, I am grateful to the editors for the opportunity to try to set the record straight. -/- I presume not many readers would be interested in a detailed comparative commentary on the texts, showing where this account gets my intentions wrong. I shall try instead to explain how what I do mean—and what I think I say—diverges from what is said here, and then go on to a brief outline of what my arguments and conclusions really are. I hope this may also give some sense of why, for all the opposition I have encountered since I was first drawn into this debate, I persist in thinking that the work I have been doing is important not only for this topic but for analysis in practical ethics more generally. (shrink)

Janet Radcliffe Richards’ The Ethics of Transplants outlines a novel framework for moral inquiry in practical contexts and applies it to the topic of paid living kidney donation. In doing so, Radcliffe Richards makes two key claims: that opponents of organ markets bear the burden of proof, and that this burden has not yet been satisfied. This paper raises four related objections to Radcliffe Richards’ methodological framework, focusing largely on how Radcliffe (...) class='Hi'>Richards uses this framework in her discussion of kidney sales. We conclude that Radcliffe Richards’ method of inquiry hinders our ability to answer the very question that it ought to help us resolve: What is there best reason to do, all things considered? (shrink)

The assumption that procuring more organs will save more lives has inspired increasingly forceful calls to increase organ procurement. This project, in contrast, directly questions the premise that more organ transplantation means more lives saved. Its argument begins with the fact that resources are limited and medical procedures have opportunity costs. Because many other lifesaving interventions are more cost‐effective than transplantation and compete with transplantation for a limited budget, spending on organ transplantation consumes resources that could have been used to (...) save a greater number of other lives. This argument has not yet been advanced in debates over expanded procurement and could buttress existing concerns about expanded procurement. To support this argument, I review existing empirical data on the cost‐effectiveness of transplantation and compare them to data on interventions for other illnesses. These data should motivate utilitarians and others whose primary goal is maximizing population‐wide health benefits to doubt the merits of expanding organ procurement. I then consider two major objections: one makes the case that transplant candidates have a special claim to medical resources, and the other challenges the use of cost‐effectiveness to set priorities. I argue that there is no reason to conclude that transplant candidates’ medical interests should receive special priority, and that giving some consideration to cost‐effectiveness in priority setting requires neither sweeping changes to overall health priorities nor the adoption of any specific, controversial metric for assessing cost‐effectiveness. Before searching for more organs, we should first ensure the provision of cost‐effective care. (shrink)

Using artificial intelligence (AI) to make decisions in human resource management (HRM) raises questions of how fair employees perceive these decisions to be and whether they experience respectful treatment (i.e., interactional justice). In this experimental survey study with open-ended qualitative questions, we examine decision making in six HRM functions and manipulate the decision maker (AI or human) and decision valence (positive or negative) to determine their impact on individuals’ experiences of interactional justice, trust, dehumanization, and perceptions of decision-maker role appropriate- (...) ness. In terms of decision makers, the use of human decision makers over AIs generally resulted in better perceptions of respectful treatment. In terms of decision valence, people experiencing positive over negative decisions generally resulted in better perceptions of respectful treatment. In instances where these cases conflict, on some indicators people preferred positive AI decisions over negative human decisions. Qualitative responses show how people identify justice concerns with both AI and human decision making. We outline implications for theory, practice, and future research. (shrink)

Forms of Artificial Intelligence (AI) are already being deployed into clinical settings and research into its future healthcare uses is accelerating. Despite this trajectory, more research is needed regarding the impacts on patients of increasing AI decision making. In particular, the impersonal nature of AI means that its deployment in highly sensitive contexts-of-use, such as in healthcare, raises issues associated with patients’ perceptions of (un) dignified treatment. We explore this issue through an experimental vignette study comparing individuals’ perceptions of being (...) treated in a dignified and respectful way in various healthcare decision contexts. Participants were subject to a 2 (human or AI decision maker) x 2 (positive or negative decision outcome) x 2 (diagnostic or resource allocation healthcare scenario) factorial design. We found evidence of a “human bias” (i.e., a preference for human over AI decision makers) and an “outcome bias” (i.e., a preference for positive over negative outcomes). However, we found that for perceptions of respectful and dignified interpersonal treatment, it matters more who makes the decisions in diagnostic cases and it matters more what the outcomes are for resource allocation cases. We also found that humans were consistently viewed as appropriate decision makers and AI was viewed as dehumanizing, and that participants perceived they were treated better when subject to diagnostic as opposed to resource allocation decisions. Thematic coding of open-ended text responses supported these results. We also outline the theoretical and practical implications of these findings. (shrink)

This paper reports on an ongoing ARC Discovery Project that is conducting design research into learning in collaborative virtual worlds (CVW).The paper will describe three design components of the project: (a) pedagogical design, (b)technical and graphics design, and (c) learning research design. The perspectives of each design team will be discussed and how the three teams worked together to produce the CVW. The development of productive failure learning activities for the CVW will be discussed and there will be an interactive (...) demonstration of the project's CVW. (shrink)

Is the societal-level of analysis sufficient today to understand the values of those in the global workforce? Or are individual-level analyses more appropriate for assessing the influence of values on ethical behaviors across country workforces? Using multi-level analyses for a 48-society sample, we test the utility of both the societal-level and individual-level dimensions of collectivism and individualism values for predicting ethical behaviors of business professionals. Our values-based behavioral analysis indicates that values at the individual-level make a more significant contribution to (...) explaining variance in ethical behaviors than do values at the societal-level. Implicitly, our findings question the soundness of using societal-level values measures. Implications for international business research are discussed. (shrink)

Attention Deficit Hyperactivity Disorder (ADHD) continues to be controversial with arguments for and against its veracity being waged by individuals representing a variety of disciplines from behavioral scientists to philosophers. Our perspective focuses on the epistemological underpinnings of what is now commonly known as ADHD. Its ignominious history and current disputes may stem from a "pessimistic" epistemology, meaning that truth is only the province of persons in authority and power. The authoritative organizations that govern the diagnostic labels and criteria are (...) the American Psychiatric Association and their Diagnostic and Statistical Manual and the World Health Organization that sponsors the International Classification of Disease. We contrast the pessimistic epistemology with criteria for truth from the scientific method. Although scientific scrutiny has been and is being applied subsequent to "authoritarian edicts" of the disorder, we opine that ADHD currently does not have status beyond that of the "hypothetical construct." Moreover, current brain-based causal models have failed to provide rigorous supporting data that comes from testing falsifiable hypotheses. (shrink)

If business requires ethical solutions that are viable in the liminal landscape between concepts and corporate office, then business ethics and corporate social responsibility should offer tools that can survive the trek, that flourish in this well-traveled, but often unarticulated, environment. Indeed, feminist ethics produces, accesses, and engages such tools. However, work in BE and CSR consistently conflates feminist ethics and feminine ethics and care ethics. I offer clarification and invoke the analytic power of three feminist ethicists 'in action' whose (...) investigations into the "grey zones" of harms; identity and representational conventions; and "asymmetrical reciprocity" harmonize with business ethics' requirements. (shrink)

This paper examines visual representation from a distinctive, interdisciplinary perspective that draws on ethics, visual studies and critical race theory. Suggests ways to clarify complex issues of representational ethics in marketing communications and marketing representations, suggesting an analysis that makes identity creation central to societal marketing concerns. Analyzes representations of the exotic Other in disparate marketing campaigns, drawing upon tourist promotions, advertisements, and mundane objects in material culture. Moreover, music is an important force in marketing communication: visual representations in music (...) promotions are also explored as data for inquiry. Offers an alternative to phenomenologically based approaches in marketing and consumer research scholarship that use consumer responses to generate data. Contributes additional insight into societal marketing and places global marketing processes within the intersection of ethics, aesthetics and representation. (shrink)

Families play an essential role in deceased organ procurement. As the person cannot directly communicate his or her wishes regarding donation, the family is often the only source of information regarding consent or refusal. We provide a systematic description and analysis of the different roles the family can play, and actions the family can take, in the organ procurement process across different jurisdictions and consent systems. First, families can inform or update healthcare professionals about a person’s donation wishes. Second, families (...) can authorize organ procurement in the absence of deceased’s preferences and the default is not to remove organs, and oppose donation where there is no evidence of preference but the default is to presume consent; in both cases, the decision could be based on their own wishes or what they think the deceased would have wanted. Finally, families can overrule the known wishes of the deceased, which can mean preventing donation, or permitting donation when the deceased refused it. We propose a schema of 4 levels on which to map these possible family roles: no role, witness, surrogate, and full decisional authority. We conclude by mapping different jurisdictions onto this schema to provide a more comprehensive understanding of the consent system for organ donation and some important nuances about the role of families. This classificatory model aims to account for the majority of the world’s consent systems. It provides conceptual and methodological guidance that can be useful to researchers, professionals, and policymakers involved in organ procurement. (shrink)

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing (...) primarily on propositional logic, and to put them in their historical context. It is argued that truth-value semantics, syntactic ("Post-") and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged. (shrink)

Our reluctance to demystify grief is a sign of the distinctive obligation and discomfort that people feel towards those who have died. These feelings, however, are instructive about the nature of grief. As a vehicle of a living person’s relation to the dead, grief is mysterious—and we are rightly reluctant to take that mystery away. But grief is not to be avoided by philosophy on that account. I defend a less Romantic view of grief, in which a grieving person’s experience (...) of “normal” grief: 1) is felt to require an objectively recognized loss; 2) is felt to be dedicated to that lost object; 3) seems to most people to be something that she ought to feel; and 4) probably ought not to be medicalized, nor consequently medicated. This view of grief affords an understanding and appreciation of this rather special and important emotion without reducing its mystery. (shrink)

Angell's logic of analytic containment AC has been shown to be characterized by a 9-valued matrix NC by Ferguson, and by a 16-valued matrix by Fine. We show that the former is the image of a surjective homomorphism from the latter, i.e., an epimorphic image. The epimorphism was found with the help of MUltlog, which also provides a tableau calculus for NC extended by quantifiers that generalize conjunction and disjunction.

This article draws in particular on existential-phenomenological notions of “witnessing.” Witnessing, often conceived in the context of testimony, obviously involves epistemological concerns, such as how we come to know through the experiences and reports of others. I shall argue, however, that witnessing as a mode of intersubjectivity offers understandings that involve questions about how people come to be. More specifically, I want to consider the positive potential of “witnessing” to disrupt intersubjective completeness or closure, particularly as this relates to work (...) on organizing subjectivities, as well as, in the field of organization studies. (shrink)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

In The Boundary Stones of Thought, Rumfitt defends classical logic against challenges from intuitionistic mathematics and vagueness, using a semantics of pre-topologies on possibilities, and a topological semantics on predicates, respectively. These semantics are suggestive but the characterizations of negation face difficulties that may undermine their usefulness in Rumfitt’s project.

The context of international health research involving human subjects, and this should appear obvious, is the human community. As such, basic questions of how human beings should be treated by other human beings, particularly in situations of unequal power – e.g., in the form of control, choice, or opportunity – lay at the foundations of related ethical discourse when ethics are discussed at all. I trace a narrative that follows upon a recent revision process of international guidelines for biomedical research (...) involving human subjects. I focus in particular upon the issue of a standard of care. In the second section, I draw upon philosophers John Rawls, Claudia Card, and Allen Buchanan to discuss concerns regarding the 'least advantaged members of society' in the context of global inequality. The paper includes reflections upon pedagogy in courses focused upon international health research involving human subjects. (shrink)

David Hilbert's finitistic standpoint is a conception of elementary number theory designed to answer the intuitionist doubts regarding the security and certainty of mathematics. Hilbert was unfortunately not exact in delineating what that viewpoint was, and Hilbert himself changed his usage of the term through the 1920s and 30s. The purpose of this paper is to outline what the main problems are in understanding Hilbert and Bernays on this issue, based on some publications by them which have so far received (...) little attention, and on a number of philosophical reconstructions of the viewpoint (in particular, by Hand, Kitcher, and Tait). (shrink)

Understanding science requires appreciating the values it presupposes and its social context. Both the values that scientists hold and their social context can affect scientific communication. Philosophers of science have recently begun studying scientific communication, especially as it relates to public policy. Some have proposed “guiding principles for communicating scientific findings” to promote trust and objectivity. This paper contributes to this line of research in a novel way using behavioural experimentation. We report results from three experiments testing judgments about the (...) trustworthiness, competence and objectivity of scientists. More specifically, we tested whether such judgments are affected by three factors: consulting or not consulting nonscientists, conducting research under a restrictive or non-restrictive governmental communication policy, and the source of a lab’s funding (i.e., government funding, private funding, or a combination of the two). We found that each of these factors affects ordinary judgments of trustworthiness, competence and objectivity. These findings support several recommendations that could help improve scientific communication and communication policies. (shrink)

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

In the 1920s, David Hilbert proposed a research program with the aim of providing mathematics with a secure foundation. This was to be accomplished by first formalizing logic and mathematics in their entirety, and then showing---using only so-called finitistic principles---that these formalizations are free of contradictions. ;In the area of logic, the Hilbert school accomplished major advances both in introducing new systems of logic, and in developing central metalogical notions, such as completeness and decidability. The analysis of unpublished material presented (...) in Chapter 2 shows that a completeness proof for propositional logic was found by Hilbert and his assistant Paul Bernays already in 1917--18, and that Bernays's contribution was much greater than is commonly acknowledged. Aside from logic, the main technical contribution of Hilbert's Program are the development of formal mathematical theories and proof-theoretical investigations thereof, in particular, consistency proofs. In this respect Wilhelm Ackermann's 1924 dissertation is a milestone both in the development of the Program and in proof theory in general. Ackermann gives a consistency proof for a second-order version of primitive recursive arithmetic which, surprisingly, explicitly uses a finitistic version of transfinite induction up to www . He also gave a faulty consistency proof for a system of second-order arithmetic based on Hilbert's &egr;-substitution method. Detailed analyses of both proofs in Chapter 3 shed light on the development of finitism and proof theory in the 1920s as practiced in Hilbert's school. ;In a series of papers, Charles Parsons has attempted to map out a notion of mathematical intuition which he also brings to bear on Hilbert's finitism. According to him, mathematical intuition fails to be able to underwrite the kind of intuitive knowledge Hilbert thought was attainable by the finitist. It is argued in Chapter 4 that the extent of finitistic knowledge which intuition can provide is broader than Parsons supposes. According to another influential analysis of finitism due to W. W. Tait, finitist reasoning coincides with primitive recursive reasoning. The acceptance of non-primitive recursive methods in Ackermann's dissertation presented in Chapter 3, together with additional textual evidence presented in Chapter 4, shows that this identification is untenable as far as Hilbert's conception of finitism is concerned. Tait's conception, however, differs from Hilbert's in important respects, yet it is also open to criticisms leading to the conclusion that finitism encompasses more than just primitive recursive reasoning. (shrink)

Priest has provided a simple tableau calculus for Chellas's conditional logic Ck. We provide rules which, when added to Priest's system, result in tableau calculi for Chellas's CK and Lewis's VC. Completeness of these tableaux, however, relies on the cut rule.

This review offers an overview of Sandis's book and raises a few questions about it.

Derrida suggests in Speech a n d Phenomena that for Husserl subjectivity is constituted and entails no identity with itself at the level of the living present. He further suggests that Husserl’s understanding of absolute subjectivity is “as absolutely present and absolutely self-present being, only in its opposition to the object.”’ In making such claims, Derrida is not giving as much weight to Husserl’s manuscripts from the 1930s as those warrant. The manuscripts may serve to draw Derrida’s claims into question.2 (...) They provide a n interesting look at the question of subjectivity in light of intersubjectivity and present the possibility of conceiving identity and alterity within the streaming living present. The ambiguity and complexity we find in Husserl’s manuscripts in particular suggests that Husserl was prepared t o address absence even at the most fundamental level of phenomenological discovery. In the following, I will explore several of Husserl’s manuscripts in order to indicate how he might escape Derrida’s ~ r i t i q u e . ~ This will raise several questions with respect to the phenomenological subject and its relation to the alterity of the other. Through such an investi- gation, we will see how it is possible to accept Derrida’s criticism of a metaphysics of presence, while recognizing that the criticism does not mean we must reject Husserlian phenom- enology as an example of such. (shrink)

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

The mathematical developments of the 19th century seemed to undermine Kant’s philosophy. Non-Euclidean geometries challenged Kant’s view that there is a spatial intuition rich enough to yield the truth of Euclidean geometry. Similarly, advancements in algebra challenged the view that temporal intuition provides a foundation for both it and arithmetic. Mathematics seemed increasingly detached from experience as well as its form; moreover, with advances in symbolic logic, mathematical inference also seemed independent of intuition. This paper considers various philosophical responses to (...) these changes, focusing on the idea of modifying Kant’s conception of intuition in order to accommodate the increasing abstractness of mathematics. It is argued that far from clinging to an outdated paradigm, programs based on new conceptions of intuition should be seen as motivated by important philosophical desiderata, such as the truth, apriority, distinctiveness and autonomy of mathematics. (shrink)

What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.

This chapter describes Kurt Gödel's paper on the incompleteness theorems. Gödel's incompleteness results are two of the most fundamental and important contributions to logic and the foundations of mathematics. It had been assumed that first-order number theory is complete in the sense that any sentence in the language of number theory would be either provable from the axioms or refutable. Gödel's first incompleteness theorem showed that this assumption was false: it states that there are sentences of number theory that are (...) neither provable nor refutable. The first theorem is general in the sense that it applies to any axiomatic theory, which is ω-consistent, has an effective proof procedure, and is strong enough to represent basic arithmetic. Their importance lies in their generality: although proved specifically for extensions of system, the method Gödel used is applicable in a wide variety of circumstances. Gödel's results had a profound influence on the further development of the foundations of mathematics. It pointed the way to a reconceptualization of the view of axiomatic foundations. (shrink)

Although Kurt Gödel does not figure prominently in the history of computabilty theory, he exerted a significant influence on some of the founders of the field, both through his published work and through personal interaction. In particular, Gödel’s 1931 paper on incompleteness and the methods developed therein were important for the early development of recursive function theory and the lambda calculus at the hands of Church, Kleene, and Rosser. Church and his students studied Gödel 1931, and Gödel taught a seminar (...) at Princeton in 1934. Seen in the historical context, Gödel was an important catalyst for the emergence of computability theory in the mid 1930s. (shrink)

The proliferation of Internet of Things (IoT) devices has introduced a range of opportunities for enhanced connectivity, automation, and efficiency. However, the vast array of interconnected devices has also raised concerns regarding cybersecurity, particularly due to the limited resources and diverse nature of IoT devices. Intrusion detection systems (IDS) have emerged as critical tools for identifying and mitigating security threats. This paper proposes a Multi-Layer Intrusion Detection Framework for IoT systems, leveraging Ensemble Machine Learning (EML) techniques to improve the accuracy (...) and effectiveness of detecting intrusions. The proposed framework integrates multiple layers of defense, including data preprocessing, feature extraction, classification, and post-processing, to provide a robust solution to IoT security challenges. This research explores the application of EML methods such as Random Forests, AdaBoost, and Gradient Boosting, combining them into a unified model to detect and mitigate various types of attacks in IoT environments. Experimental results demonstrate the superiority of the proposed framework in terms of detection accuracy, false positive rate, and computational efficiency. (shrink)

The effort of Fichte’s Foundations of the Entire Science of Knowledge is to ground the whole of the science in so called principles. This aim is a specific expression of the project of self-assurance of human being characterizing the important movement of modern metaphysics. The movement towards self-assurance even culminates here: it gets a form of showing human being as an entity founding itself and in totality with itself the whole of actuality. The foundation of science is therefore in this (...) Fichte’s work completely subordinated to the project of explicit self-constitution of human being based in practical-theoretical mastering of consciousness of its own ontological-ontical priority. (shrink)

Internet of Things (IoT) devices have transformed various industries, enabling advanced functionalities across domains such as healthcare, smart cities, and industrial automation. However, the increasing number of connected devices has raised significant concerns regarding their security. IoT networks are highly vulnerable to a wide range of cyber threats, making Intrusion Detection Systems (IDS) critical for identifying and mitigating malicious activities. This paper proposes a hybrid approach for intrusion detection in IoT networks by combining Machine Learning (ML) techniques with Signature-Based Methods. (...) The hybrid model leverages the strengths of both methodologies to achieve high detection accuracy, reduced false positives, and the ability to identify both known and unknown threats. We explore the integration of ML classifiers such as Random Forest, Support Vector Machines, and k-Nearest Neighbors with traditional signature-based techniques to create a robust IDS solution. The effectiveness of the proposed approach is evaluated using a publicly available IoT dataset, demonstrating its capability to detect a wide variety of attacks with high precision and recall. (shrink)

This study is a phenomenological inquiry into several relatively unexplored phenomena, including certain key methodological issues. It seeks to elicit and explicate the grounds of free-fantasy variation, which Husserl insists contains his “fundamental methodological insight” since it articulates “the fundamental form of all particular transcendental methods…” In the course of pursuing the full sense of this method and its grounds, the essay also uncovers the origins and eventual presence of “self” and explores the multiple connections among self, mental life, embodiment (...) and the surrounding world. To that end, it is necessary to take seriously Husserl’s otherwise odd declaration that “‘feigning’ [‘Fiktion’] makes up the vital element of phenomenology as of every other eidetic science…”, and thus that every philosopher must “fertilize” his or her “fantasy” through works of art and history as well as other areas and practices of human life. The essay offers an in-depth probing of several striking but largely unexplored phenomena: exemplifying and possibilizing, and concludes with an exploration of one of the most pervasive themes in phenomenological inquiry: intersubjectivity. (shrink)

The increasing application of artificial intelligence (AI) to healthcare raises both hope and ethical concerns. Some advanced machine learning methods provide accurate clinical predictions at the expense of a significant lack of explainability. Alex John London has defended that accuracy is a more important value than explainability in AI medicine. In this article, we locate the trade-off between accurate performance and explainable algorithms in the context of distributive justice. We acknowledge that accuracy is cardinal from outcome-oriented justice because it helps (...) to maximize patients’ benefits and optimizes limited resources. However, we claim that the opaqueness of the algorithmic black box and its absence of explainability threatens core commitments of procedural fairness such as accountability, avoidance of bias, and transparency. To illustrate this, we discuss liver transplantation as a case of critical medical resources in which the lack of explainability in AI-based allocation algorithms is procedurally unfair. Finally, we provide a number of ethical recommendations for when considering the use of unexplainable algorithms in the distribution of health-related resources. (shrink)

A textbook for modal and other intensional logics based on the Open Logic Project. It covers normal modal logics, relational semantics, axiomatic and tableaux proof systems, intuitionistic logic, and counterfactual conditionals.

An introductory textbook on metalogic. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic. The audience is undergraduate students with some background in formal logic.

Kevin Elliott’s A Tapestry of Values is a terrific book, chock full of valuable case studies and incisive analyses. It aims to be useful not only to students of philosophy of science and the other areas of science studies but also to practicing scientists, policymakers, and the public at large—a tall order. And it succeeds admirably for many of these folks. In my comments I suggest what it would need for the rest.

There are various philosophical approaches and theories describing the intimate relation people have to artifacts. In this paper, I explore the relation between two such theories, namely distributed cognition and distributed morality theory. I point out a number of similarities and differences in these views regarding the ontological status they attribute to artifacts and the larger systems they are part of. Having evaluated and compared these views, I continue by focussing on the way cognitive artifacts are used in moral practice. (...) I specifically conceptualise how such artifacts (a) scaffold and extend moral reasoning and decision-making processes, (b) have a certain moral status which is contingent on their cognitive status, and (c) whether responsibility can be attributed to distributed systems. This paper is primarily written for those interested in the intersection of cognitive and moral theory as it relates to artifacts, but also for those independently interested in philosophical debates in extended and distributed cognition and ethics of (cognitive) technology. (shrink)

This paper applies a virtue epistemology approach to using the Internet, as to improve our information-seeking behaviours. Virtue epistemology focusses on the cognitive character of agents and is less concerned with the nature of truth and epistemic justification as compared to traditional analytic epistemology. Due to this focus on cognitive character and agency, it is a fruitful but underexplored approach to using the Internet in an epistemically desirable way. Thus, the central question in this paper is: How to use the (...) Internet in an epistemically virtuous way? Using the work of Jason Baehr, it starts by outlining nine intellectual or epistemic virtues: curiosity, intellectual autonomy, intellectual humility, attentiveness, intellectual carefulness, intellectual thoroughness, open-mindedness, intellectual courage and intellectual tenacity. It then explores how we should deploy these virtues and avoid the corresponding vices when interacting with the Internet, particularly search engines. Whilst an epistemically virtuous use of the Internet will not guarantee that one will acquire true beliefs, understanding or even knowledge, it will strongly improve one’s information-seeking behaviours. The paper ends with arguing that teaching and assessing online intellectual virtues should be part of school and university curricula, perhaps embedded in critical thinking courses, or even better, as individual units. (shrink)

The desirability of what actually occurs is often influenced by what could have been. Preferences based on such value dependencies between actual and counterfactual outcomes generate a class of problems for orthodox decision theory, the best-known perhaps being the so-called Allais Paradox. In this paper we solve these problems by extending Richard Jeffrey's decision theory to counterfactual prospects, using a multidimensional possible-world semantics for conditionals, and showing that preferences that are sensitive to counterfactual considerations can still be desirability maximising. We (...) end the paper by investigating the conditions necessary and sufficient for a desirability function to be an expected utility. It turns out that the additional conditions imply highly implausible epistemic principles. (shrink)

In the study of syntactic variation, genre has been an unstable term: fluctuating in the level of generality at which it is applied; intuiting rather than ascertaining the social situations it suggests. In contrast, rhetorical studies of genre have fixed genre at a low level of generality, in local socio-historical scenes, and claimed priority for situation over form. This chapter reviews the debates which led to genres rhetorical definition as "social action" (Miller 1984), and the benefit and also the cost (...) in disavowing form as definitive of genre. Rhetorical and variation studies of genre can seem fundamentally incompatible in their perspectives on form, yet there may be fertile meeting ground for them. Both invoke function for form, but each in ways incomplete for the study of genre: While rhetorical studies insist on the functionality of form in situation, they do not inquire into form itself; syntactic-variation studies also assume function for form, but define function at such a high level of generality as to fail to capture the social motives in genre's domain. By revisiting function as acutely sensitive to situation—responding to local exigencies and also indicating them—rhetorical and variation studies can meet on the common ground of form, each contributing to the others discoveries of genre as a site of social differentiation. (shrink)

The complementary properties and functions of cognitive artifacts and other external resources are integrated into the human cognitive system to varying degrees. The goal of this paper is to develop some of the tools to conceptualize this complementary integration between agents and artifacts. It does so by proposing a multidimensional framework, including the dimensions of information flow, reliability, durability, trust, procedural transparency, informational transparency, individualization, and transformation. The proposed dimensions are all matters of degree and jointly they constitute a multidimensional (...) space in which situated cognitive systems can be located and have certain dimensional configurations. These dimensions provide a new perspective on the conditions for cognitive extension. They are, however, not meant to provide a set of necessary and sufficient conditions, but to provide a toolbox for investigating the degree and nature of the integration of agent and artifact into “new systemic wholes”. The higher a situated system scores on the proposed dimensions, the more functional integration occurs, and the more tightly coupled the system is. (shrink)